Study on Fuzzy Abduction Based on Lukasiewicz Infinite Valued Logic
نویسندگان
چکیده
منابع مشابه
Finite Satisfiability in Infinite-Valued Lukasiewicz Logic
Although it is well-known that every satisfiable formula in Lukasiewicz’ infinite-valued logic L∞ can be satisfied in some finitevalued logic, practical methods for finding an appropriate number of truth degrees do currently not exist. As a first step towards efficient reasoning in L∞, we propose a method to find a tight upper bound on this number which, in practice, often significantly improve...
متن کاملThe logical content of triangular bases of fuzzy sets in Lukasiewicz infinite-valued logic
Continuing to pursue a research direction that we already explored in connection with Gödel-Dummett logic and Ruspini partitions, we show here that Lukasiewicz logic is able to express the notion of pseudo-triangular basis of fuzzy sets, a mild weakening of the standard notion of triangular basis. En route to our main result we obtain an elementary, logic-independent characterisation of triangu...
متن کاملOn the infinite-valued Lukasiewicz logic that preserves degrees of truth
Lukasiewicz’s infinite-valued logic is commonly defined as the set of formulas that take the value 1 under all evaluations in the Lukasiewicz algebra on the unit real interval. In the literature a deductive system axiomatized in a Hilbert style was associated to it, and was later shown to be semantically defined from Lukasiewicz algebra by using a “truthpreserving” scheme. This deductive system...
متن کاملdesigning unmanned aerial vehicle based on neuro-fuzzy systems
در این پایان نامه، کنترل نرو-فازی در پرنده هدایت پذیر از دور (پهپاد) استفاده شده است ابتدا در روش پیشنهادی اول، کنترل کننده نرو-فازی توسط مجموعه اطلاعات یک کنترل کننده pid به صورت off-line آموزش دیده است و در روش دوم یک کنترل کننده نرو-فازی on-line مبتنی بر شناسایی سیستم توسط شبکه عصبی rbf پیشنهاد شده است. سپس کاربرد این کنترل کننده در پهپاد بررسی شده است و مقایسه ای ما بین کنترل کننده های معمو...
α- separation axioms based on Lukasiewicz logic
In the present paper, we introduce topological notions defined by means of α-open sets when these are planted into the framework of Ying’s fuzzifying topological spaces (by Lukasiewicz logic in [0, 1]). We introduce T 0 −, T 1 −, T 2 (αHausdorff)-, T 3 (α-regular)and T 4 (αnormal)-separation axioms. Furthermore, the R 0− and R 1− separation axioms are studied and their relations with the T 1 − ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Japan Society for Fuzzy Theory and Systems
سال: 1995
ISSN: 0915-647X,2432-9932
DOI: 10.3156/jfuzzy.7.1_103